package com.jerome.election.constants;

/**
 * Application Constants
 *
 * @author jerome
 * @date 2023/7/29
 */
public interface AppConstant {
    String CONFIG_PATH ="config_path";
    /**
     * HTTP prefix
     */
    String HTTP = "http";
    /**
     * HTTP prefix
     */
    String HTTP_PREFIX = "http://";
    /**
     * lamport clock header name
     */
    String LAMPORT_HEADER_NAME = "Last-Time";

    /**
     * Numeric character matching
     */
    String NUMBER_REGEX = "(\\+|-)?\\d+(\\.\\d+)?";
    /**
     * server 匹配正则
     */
    String SERVER_REGEX = "server.\\d+";

    String COMMA = "\\.";
}
